bitkeeper revision 1.1159.1.8 (4114e84532jMbVgxayKe_J9XghOtWw)
authoriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Sat, 7 Aug 2004 14:33:41 +0000 (14:33 +0000)
committeriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Sat, 7 Aug 2004 14:33:41 +0000 (14:33 +0000)
Allow vbd device names to be used with and without /dev/ prefix

tools/python/xen/xend/XendDomainInfo.py

index 45da2c250fcfec6cf88c2de75e517a6bffe553da..fa5fd6b5741cd8cf2e35208dbbed05d0edda5943 100644 (file)
@@ -83,7 +83,9 @@ def blkdev_name_to_number(name):
     'hda') and return the device number used by the OS. """
 
     if not re.match( '^/dev/', name ):
-        n = '/dev/' + name
+       n = '/dev/' + name
+    else:
+       n = name
         
     try:
        return os.stat(n).st_rdev